Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
681	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
682	California High-Speed Train Project Agreement No. HSR[removed]California High-Speed Train Project Add to Reading List Source URL: www.hsr.ca.gov Language: English - Date: 2013-08-23 20:11:49 Science Software requirements Formal methods Pharmaceutical industry Validity Submittals Verification and validation Validation Requirement Systems engineering Software development Technology
683	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
684	PDF Document Add to Reading List Source URL: iet.jrc.ec.europa.eu Language: English - Date: 2013-03-21 10:58:25 Formal methods Logic in computer science Validation Science Applied mathematics Verification and validation Formal verification Verification Quality assurance Pharmaceutical industry Validity Systems engineering
685	PDF Document Add to Reading List Source URL: www.phusewiki.org Language: English - Date: 2013-03-26 08:30:26 Science Pharmaceutical industry Validity Software testing Formal methods Validation Software development process SAS Software verification Computing Software engineering Quality
686	Guidance for Labeling Externally Validated Laboratory Analytical Data for Superfund Use This page left intentionally blank. Add to Reading List Source URL: epa.gov Language: English - Date: 2009-02-18 09:14:48 Formal methods Science Software quality Validation Evaluation Quality Verification and validation Quality assurance Software development process Pharmaceutical industry Validity Systems engineering
687	PDF Document Add to Reading List Source URL: www.akadeemia.ee Language: English - Date: 2006-04-17 06:30:14 Electronic design automation Formal methods Logic design Electronic design Logic simulation Computer science Formal verification Reliability engineering Digital electronics Electronic engineering Science Design
688	General Principles of Software Validation; Final Guidance for Industry and FDA Staff Add to Reading List Source URL: www.fda.gov Language: English Medicine Validity Quality Formal methods Validation Verification and validation Medical device Software testing Software development process Technology Pharmaceutical industry Science
689	Assessing Quality of Policy Properties in Verification of Access Control Policies Evan Martin JeeHyun Hwang Tao Xie Computer Science Department Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-11-16 00:00:00 Software testing Applied mathematics Biology XACML Formal verification Mutants Lac operon Model checking Verification Formal methods Logic in computer science Mutation testing
690	United States Department of Agriculture Forest Vegetation Simulator Add to Reading List Source URL: www.fs.fed.us Language: English - Date: 2010-01-21 10:56:29 Validity Scientific modeling Forest Vegetation Simulator USDA Forest Service Ethology Formal methods Verification and validation Computer simulation Validation Statistics Science Pharmaceutical industry

UPDATE